1. <An> introduction to Gödel's Theorems
پدیدآورنده : \ Peter Smith
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
2. An introduction to Ramsey theory :
پدیدآورنده : Matthew Katz, Jan Reimann.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Combinatorial analysis.,Ramsey theory.,Combinatorial analysis.,Combinatorics -- Extremal combinatorics -- Ramsey theory.,Mathematical logic and foundations -- Computability and recursion theory -- Recursive functions and relations, subrecursive hierarchies.,Mathematical logic and foundations -- General logic -- Classical first-order logic.,Mathematical logic and foundations -- General logic -- Decidability of theories and sets of sentences.,Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.).,Mathematical logic and foundations -- Nonstandard models -- Nonstandard models of arithmetic.,Mathematical logic and foundations -- Set theory -- Ordinal and cardinal numbers.,Ramsey theory.
رده :
QA165
.
K38
2018
3. Complexite et decidabilite
پدیدآورنده : Dehornoy, Patrick
کتابخانه: (طهران)
موضوع : ، Complexes,، Decidability )Mathematical logic(
رده :
QA
608
.
D4
4. Computability and Decidability :
پدیدآورنده : by Jacques Loeckx.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.
5. Computation, Logic, Philosophy :
پدیدآورنده : by Hao Wang.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Information theory.,Mathematics.,Technology -- Philosophy.
6. Computational logic
پدیدآورنده : edited by Ulrich Berger, Helmut Schwichtenberg.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer logic.
رده :
QA76
.
9
.
L63
E358
1999
7. Computer science logic :
پدیدآورنده : Hans Kleine Büning (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.
رده :
QA75
.
5
H367
1996
8. Cornerstones of undecidability /
پدیدآورنده : Grzegorz Rozenberg and Arto Salomaa
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Decidability (Mathematical logic),Unsolvability (Mathematical logic),équation diophantienne,indécidabilité,Logique,Mathematical logic,récursivité,théorie démonstration
رده :
QA9
.
63
.
R69
1994
9. Countable Boolean algebras and decidability /
پدیدآورنده : Sergei S. Goncharov
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra, Boolean,Decidability (Mathematical logic)
رده :
QA10
.
3
.
G6613
1997
10. Database Theory -- ICDT '92 :
پدیدآورنده : edited by Joachim Biskup, Richard Hull.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Database management.
رده :
QA76
.
9
.
D3
E358
1992
11. Decision problems for equational theories of relation algebras
پدیدآورنده : Andreka, Hajnal
کتابخانه: (طهران)
موضوع : ، Relation algebras,، Decidability )Mathematical logic(
رده :
QA
3
.
A475
no
.
604
12. Deducibility and decidability
پدیدآورنده : Gill, R. R. Rockingham
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Decidability )Mathematical logic(
رده :
BC
135
.
G495
1990
13. Deducibility and decidability
پدیدآورنده : Gill, R. R. Rockingham, 4491-
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Decidability )Mathematical logic(
رده :
BC
135
.
G5
14. Enumerability · Decidability Computability
پدیدآورنده : by Hans Hermes.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics.
15. Essays in the philosophy and history of logic and mathematics /
پدیدآورنده : Roman Murawski ; foreword [by] Jan Woleński
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cantor, Georg,1845-1918,Hilbert, David,1862-1943,Hoene-Wroński, Józef Maria,1776-1853,Logic-- History,Logic, Symbolic and mathematical,Mathematics-- Philosophy,Mathematics-- Philosophy-- History-- 20th century
16. Essays on the Foundations of Mathematics by Moritz Pasch
پدیدآورنده : edited by Stephen Pollard.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Philosophy.
17. Essays on the foundations of mathematics
پدیدآورنده : / by Moritz Pasch
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Mathematics, Philosophy,Logic, Symbolic and mathematical
رده :
E-BOOK
18. Essays on the foundations of mathematics by Moritz Pasch
پدیدآورنده : ]edited by[ Stephen Pollard
کتابخانه: (قم)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
8
.
6
.
P38
2010
19. Foundations of Logic and Mathematics
پدیدآورنده : by Yves Nievergelt.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data encryption (Computer science).,Logic, Symbolic and mathematical.,Mathematics.,Number theory.
20. Frank Ramsey and the realistic spirit
پدیدآورنده : Steven Methven, Worcester College, University of Oxford, UK.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Analytical philosophy & Logical Positivism.,PHILOSOPHY -- History & Surveys -- Modern.,Ramsey, Frank Plumpton, -- 1903-1930.
رده :
B1649
.
R254
S748
2015